\relax 
\citation{atl_manual}
\citation{acceleo}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\textit  {$\pi $SOD-M} Environment}{75}}
\newlabel{chap:environment}{{3}{75}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}General Architecture}{76}}
\citation{acceleo}
\@writefile{lof}{\contentsline {figure}{\numberline {29}{\ignorespaces $\pi $SOD-M Development Environment.\relax }}{77}}
\newlabel{fig:policymanager}{{29}{77}}
\citation{Espinosa-Oviedo2011a}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Defining Reliable Service Based Applications}{78}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}$\pi $-UseCase Model}{78}}
\@writefile{lof}{\contentsline {figure}{\numberline {30}{\ignorespaces $\pi $SOD-M Eclipse Plugin Environment.\relax }}{79}}
\newlabel{fig:screanPiSODM}{{30}{79}}
\@writefile{lof}{\contentsline {figure}{\numberline {31}{\ignorespaces $\pi $-UseCase Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{80}}
\newlabel{fig:pisodmToolModel}{{31}{80}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}$\pi $-ServiceProcess Models}{80}}
\@writefile{lof}{\contentsline {figure}{\numberline {32}{\ignorespaces $\pi $-UseCase Properties in $\pi $SOD-M Eclipse Plugin.\relax }}{81}}
\newlabel{fig:pisodmToolModelProperties}{{32}{81}}
\@writefile{lof}{\contentsline {figure}{\numberline {33}{\ignorespaces $\pi $-ServiceProcess Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{82}}
\newlabel{fig:piserviceProcessToolModel}{{33}{82}}
\@writefile{lof}{\contentsline {figure}{\numberline {34}{\ignorespaces $\pi $-ServiceProcess Properties in $\pi $SOD-M Eclipse Plugin.\relax }}{83}}
\newlabel{fig:piserviceProcessToolModelProperties}{{34}{83}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}$\pi $-ServiceComposition Models}{83}}
\@writefile{lof}{\contentsline {figure}{\numberline {35}{\ignorespaces $\pi $-ServiceComposition Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{84}}
\newlabel{fig:piserviceCompositionToolModel}{{35}{84}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.4}$\pi $-PEWS Models}{84}}
\@writefile{lof}{\contentsline {figure}{\numberline {36}{\ignorespaces $\pi $-PEWS Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{85}}
\newlabel{fig:piPEWSToolModel}{{36}{85}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Model Transformation Process}{85}}
\@writefile{lof}{\contentsline {figure}{\numberline {37}{\ignorespaces $\pi $-PEWS Model Properties in $\pi $SOD-M Eclipse Plugin.\relax }}{86}}
\newlabel{fig:piPEWSToolModelProperties}{{37}{86}}
\@writefile{lof}{\contentsline {figure}{\numberline {38}{\ignorespaces ATL Model to Model Transformation in $\pi $SOD-M.\relax }}{87}}
\newlabel{fig:modelTomodelTransfomation}{{38}{87}}
\@writefile{lof}{\contentsline {figure}{\numberline {39}{\ignorespaces Acceleo Model to Text Transformation in $\pi $SOD-M.\relax }}{88}}
\newlabel{fig:modelToTextTransformation}{{39}{88}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Extending the Environment Components}{88}}
\@writefile{lof}{\contentsline {figure}{\numberline {40}{\ignorespaces ATL Configuration for $\pi $SOD-M Transformation.\relax }}{89}}
\newlabel{fig:configurationATL}{{40}{89}}
\@writefile{lof}{\contentsline {figure}{\numberline {41}{\ignorespaces $\pi $-SOD-M Tool Extension Components.\relax }}{89}}
\newlabel{fig:extension}{{41}{89}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Conclusion}{90}}
\@setckpt{chapters/implementation/enviroment}{
\setcounter{page}{91}
\setcounter{equation}{0}
\setcounter{enumi}{5}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{1}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{5}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{41}
\setcounter{table}{6}
\setcounter{lstnumber}{1}
\setcounter{parentequation}{0}
\setcounter{ContinuedFloat}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{3}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{r@tfl@t}{0}
\setcounter{regraA}{1}
\setcounter{regraB}{1}
\setcounter{lstlisting}{0}
}
